English lambda notation: перевод на другие языки